1. Algorithmic foundations of robotics
پدیدآورنده: / David Hsu... [et al.] (Eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Robotics, Congresses,Algorithms, Congresses,Machine theory, Congresses,Electronic books., local
2. Algorithmic foundations of robotics IX
پدیدآورنده: / David Hsu... [et al.]
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)
موضوع: Robotics -- Congresses ,Algorithms -- Congresses ,Machine theory -- Congresses
رده :
TJ211
.
I58
2011
3. Algorithmic information theory
پدیدآورنده: Gregory J. Chaitin
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Algorithms,، Machine theory,، Computational complexity,، LISP )Computer program language(
رده :
QA
9
.
58
.
C48
1987
4. Algorithms, languages, automata, and compilers
پدیدآورنده: / Maxim Mozgovoy
کتابخانه: کتابخانه پردیس بین الملل كیش (دانشگاه تهران) (هرمزگان)
موضوع: Machine theory.,Formal languages.,Algorithms.
رده :
QA
267
.
M69
2010
5. Archaeology of Algorithmic Artefacts /
پدیدآورنده: David Link
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algorithms,Machine theory
رده :
QA267
.
L56
2016
6. Automata, Languages, and Programming : 30th international colloquim , ICALP 2003, Eindhoven, The Netherlands, June 30th-July 4, 2003 : Proceedings
پدیدآورنده: Jos C.M. Baeten ... ]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
2719
7. Automatic defense against zero-day polymorphic worms in communication networks
پدیدآورنده: Mohssen Mohammed, Al-Sakib Khan Pathan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer algorithms.,Computer networks-- Security measures.,Computer viruses.,Machine theory.
8. Computational Geometry : algorithms and applications
پدیدآورنده: Mark de Berg [ and etc...]&
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Machine theory,Computatianal Complexity,Computer algorithms
رده :
QA
،
267
،.
C66
،
1997
9. Computer algebra: systems and algorithms for algebraic computation
پدیدآورنده: Davenport, J.H.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Algorithms,، Machine theory
رده :
QA
9
.
58
.
D3
1988
10. Deep reinforcement learning in action
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Machine learning. ; Algorithms. ; Reinforcement learning. ; Computational learning theory. ; Artificial intelligence. ;
11. Handbook of finite state based models and applications
پدیدآورنده: edited by Jiacun Wang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer algorithms.,Computer programming.,Sequential machine theory.
12. Language and automata theory and applications :
پدیدآورنده: edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
رده :
QA267
.
L38
2018
13. Logic, automata, and algorithms
پدیدآورنده: / by Mark A. Aiserman ...[et la.]; translated by Scripta Technica, translation editor George M. Mark
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Sequential machine theory,Logic, Symmbolic and mathematical,Algorithms
رده :
629
.
891
Lo
14. Logic, automata, and algorithms, Logika, avtomaty, algoritmy
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Sequential machine theory,، Switching theory,، Algorithms
رده :
QA
267
.
5
.
S4
.
L613
15. Logik, Automaten, Algorithmen
پدیدآورنده: Aizerman, M. A.)Mark Aronovich(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Sequential machine theory,، Switching theory,، Algorithms
رده :
QA
267
.
5
.
S4
.
A35
16. Machine Learning
پدیدآورنده: / Tom M Mitchell
کتابخانه: کتابخانه پردیس بین الملل كیش (دانشگاه تهران) (هرمزگان)
موضوع: Machine learning,Computer algorithms,LITERARY CRITICISM / Semiotics & Theory
رده :
Q325
.
5
17. Mathematical foundations of computer science 2008
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Algorithms ; Congresses. ; Computer programming ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Machine theory ; Congresses. ;
18. Measuring Power of Algorithms, Computer Programs and Information Automata
پدیدآورنده: / Mark Burgin
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Algorithms,Machine theory,Programming (Mathematics),الگوریتم ها
رده :
QA9
,.
58
.
M43
2010
19. Measuring power of algorithms, computer programs and information automata
پدیدآورنده: Mark Burgin
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع: Algorithms,Machine theory,Programming )Mathematics(
رده :
QA
9
,.
58
.
M4
2010
